minimization of dfa using table filling